Søren Debois: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Imperative-program transformation by

Journal:

Higher-Order and Symbolic Computation

Year:

2008

Language:

english

File:

PDF, 484 KB

english, 2008

2

[IEEE 2011 IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops) - Seattle, WA, USA (2011.03.21-2011.03.25)] 2011 IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops) - Decoupling context-aware services

Debois, Soren, Glenstrup, Arne John, Zanitti, Francesco

Year:

2011

Language:

english

File:

PDF, 472 KB

english, 2011

3

[IEEE 2019 15th European Dependable Computing Conference (EDCC) - Naples, Italy (2019.9.17-2019.9.20)] 2019 15th European Dependable Computing Conference (EDCC) - Transforming Byzantine Faults using a Trusted Execution Environment

Madsen, Mads Frederik, Gaub, Mikkel, Kirkbro, Malthe Ettrup, Debois, Soren

Year:

2019

File:

PDF, 318 KB

2019

4

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - A model checker for Bigraphs

Perrone, Gian, Debois, Søren, Hildebrandt, Thomas T.

Year:

2012

Language:

english

File:

PDF, 462 KB

english, 2012

5

[IEEE 2016 IEEE 29th Computer Security Foundations Symposium (CSF) - Lisbon, Portugal (2016.6.27-2016.7.1)] 2016 IEEE 29th Computer Security Foundations Symposium (CSF) - In the Nick of Time: Proactive Prevention of Obligation Violations

Basin, David, Debois, Soren, Hildebrandt, Thomas T.

Year:

2016

Language:

english

File:

PDF, 469 KB

english, 2016

6

[IEEE 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) - Stockholm, Sweden (2018.10.16-2018.10.19)] 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC) - RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta

Costa Seco, Joao, Debois, Soren, Hildebrandt, Thomas, Slaats, Tijs

Year:

2018

Language:

english

File:

PDF, 228 KB

english, 2018

7

[IEEE 2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice (SER&IP) - Florence, Italy (2015.5.17-2015.5.17)] 2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice - Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9

Debois, Soren, Hildebrandt, Thomas, Marquard, Morten, Slaats, Tijs

Year:

2015

Language:

english

File:

PDF, 239 KB

english, 2015

8

Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans

Debois, Søren, Hildebrandt, Thomas, Sandberg, Lene

Journal:

Procedia Computer Science

Year:

2016

Language:

english

File:

PDF, 282 KB

english, 2016

9

A verification environment for bigraphs

Gian Perrone, Søren Debois…

Journal:

Innovations in Systems and Software Engineering

Year:

2013

Language:

english

File:

PDF, 373 KB

english, 2013

10

[ACM Press the 2004 ACM SIGPLAN symposium - Verona, Italy (2004.08.24-2004.08.25)] Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '04 - Imperative program optimization by partial evaluation

Year:

2004

Language:

english

File:

PDF, 248 KB

english, 2004

11

[IEEE 2015 IEEE Symposium Series on Computational Intelligence (SSCI) - Cape Town, South Africa (2015.12.7-2015.12.10)] 2015 IEEE Symposium Series on Computational Intelligence - The Analysis of a Real Life Declarative Process

Debois, Soren, Slaats, Tijs

Year:

2015

Language:

english

File:

PDF, 878 KB

english, 2015

12

Entropy as a Measure of Log Variability

Back, Christoffer Olling, Debois, Søren, Slaats, Tijs

Journal:

Journal on Data Semantics

Year:

2019

Language:

english

File:

PDF, 1.34 MB

english, 2019

13

[IEEE 2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW) - Ulm, Germany (2014.9.1-2014.9.2)] 2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations - A Case for Declarative Process Modelling: Agile Development of a Grant Application System

Debois, Soren, Hildebrandt, Thomas, Slaats, Tijs, Marquard, Morten

Year:

2014

Language:

english

File:

PDF, 407 KB

english, 2014

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски